41. Mathematical Foundations of Computer Science 2007
پدیدآورنده : \ Luděk Kučera, Antonín Kučera (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
E-Book
,
42. Mathematical Foundations of Computer Science 2004
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses,Mathematical foundations,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
E-Book
,
43. Mathematical Foundations of Computer Science 2015
پدیدآورنده : \ Giuseppe F. Italiano , Giovanni Pighizzini, Donald T. Sannella (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
.
M32
2015
E-Book
,
44. Mathematical Foundations of Computer Science 2001
پدیدآورنده : \ Jiří Sgall, Aleš Pultr, Petr Kolman (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
E-Book
,
45. Mathematics and Computing
پدیدآورنده : \ [Edited by] Debasis Giri...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses. ,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
46. Mathematics for Computer Graphics
پدیدآورنده : \ John Vince
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer graphics,Computer science -- Mathematics,علوم کامپیوتر,گرافیک کامپیوتری,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
47. Methods in algorithmic analysis
پدیدآورنده : / Vladimir A. Dobrushkin.,دابروشکین,Dobrushkin
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : علوم کامپیوتر,الگوریتم‌های کامپیوتری,الگوریتم‌ها, -- ریاضیات
رده :
QA
۷۶
/
۹
/
ر
۹
د
۲ ۱۳۸۹
48. : Modeling and Computational Science
پدیدآورنده : \ Roderick Melnik, Roman Makarov, Jacques Belair, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics.,Mathematical models. ,Computer science-- Mathematics., ریاضیات,الگوهای ریاضی,علوم کامپیوتر -- ریاضیات
رده :
E-book
,
49. Numerical Methods and Analysis of Multiscale Problems
پدیدآورنده : \ Alexandre L. Madureira
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,ریاضیات,a03,a03,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
50. Numerical analysis algorithms and computation
پدیدآورنده : /J. Murphy, D. Ridout and Bridgid McShane.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : علوم,ریاضیات,برنامه‌نویسی, -- داده‌پردازی,کامپیوتر- الگوریتم,آنالیز عددی,ریاضیات--ژنو
رده :
QA
۲۹۷
/
م
۹
ن
۶ ۱۳۶۷
51. Perceptual Image Coding With Discrete Cosine Transform
پدیدآورنده : \ Ee-Leng Tan, Woon-Seng Gan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Signal processing,پردازش سیگنال‌ها,a05,a05,Computer science -- Mathematics.,Discrete cosine transforms.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
.
M35T32
2015
E-Book
,
52. Practical scientific computing
پدیدآورنده : / Ali Muhammad and Victor Zalizniak.,محمد,Muhammad
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : علوم کامپیوتر,علوم, -- ریاضیات, -- داده‌پردازی
رده :
QA
۷۶
/
۹
/
ر
۹
م
۳ ۱۳۹۰
53. Proofs from the Book
پدیدآورنده : \ By Martin Aigner, Gunter M. Ziegler; Including Illustrations by Karl H. Hofmann
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Computer science -- Mathematics,Mathematical analysis,ریاضیات,علوم کامپیوتر -- ریاضیات ,آنالیز ریاضی
رده :
E-Book
,
54. Quantum Approach to Informatics
پدیدآورنده : / Stig Stenholm, Kalle-Antti Suominen.,استنهولم,Stenholm
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : کوانتوم,علوم کامپیوتر,کامپیوترهای کوانتومی, -- ریاضیات, -- ریاضیات
رده :
QC
۱۷۴
/
۱۷
/
م
۸
الف
۵ ۱۳۸۴
55. Relational and Algebraic Methods in Computer Science
پدیدآورنده : \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق جبری -- کنگره ها
رده :
QA
76
.
9
.
M35R4
2015
E-Book
,
56. Semantics in data and knowledge bases : third international workshop, SDKB 2008, Nantes, France, March 29, 2008, revised selected papers
پدیدآورنده : / [edited by] Klaus-Dieter Schewe, Bernhard Thalheim.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : پایگاه‌‌های اطلاعاتی,پایگاه‌‌های اطلاعاتی,علوم کامپیوتر, -- کنگره‌ها,-- کنگره‌ها, -- مدیریت, -- طراحی, -- ریاضیات
رده :
QA
۷۶
/
۹
/
پ
۲
ک
۲ ۱۳۸۷
57. Set Operads in Combinatorics and Computer Science
پدیدآورنده : \ Miguel A. Méndez
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Decomposition method,روش تجزیه,a02,a02,Operads.,Computer science -- Mathematics,علوم کامپیوتر -- ریاضیات
رده :
QA
169
.
M4S4
2015
E-Book
,
58. Simplifying computer mathematics; a programmed text
پدیدآورنده : /by Robert W. Marks.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : علوم کامپیوتر, -- ریاضیات,سیستم دوتایی (ریاضیات) -- آموزش برنامه ای.,Binary system (Mathematics) -- Programmed instruction., سیستم هشت گانه -- آموزش برنامه ای,Octal system -- Programmed instruction.
رده :
QA
۱۴۱
/
م
۲
س
۹ ۱۳۴۷
59. Teaching and Learning Discrete Mathematics Worldwide
پدیدآورنده : \ Eric W. Hart, James Sandefur, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics,Mathematics -- Study and teaching,علوم کامپیوتر -- ریاضیات,ریاضیات -- راهنمای آموزشی
رده :
E-Book
,
60. Uncertainty Quantification
پدیدآورنده : \ Christian Soize
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics,Probabilities,Applied mathematics,علوم کامپیوتر -- ریاضیات,احتمالات
رده :
E-Book
,
